A discussion of a number of ways that information can be present in a computer program without being explicitly represented.

We discuss at some length evidence from the cognitive science suggesting that the representations of objects based on spatiotemporal information and featural information retrieved bottomup from a visual scene precede representations of objects that include conceptual information. We argue that a distinction can be drawn between representations with conceptual and nonconceptual content. The distinction is based on perceptual mechanisms that retrieve information in conceptually unmediated ways. The representational contents of the states induced by these mechanisms that are available to a (...) type of awareness called phenomenal awareness constitute the phenomenal content of experience. The phenomenal content of perception contains the existence of objects as separate things that persist in time and time, spatiotemporal information, and information regarding relative spatial relations, motion, surface properties, shape, size, orientation, color, and their functional properties. (shrink)

There is, in some quarters, concern about high–level machine intelligence and superintelligent AI coming up in a few decades, bringing with it significant risks for humanity. In other quarters, these issues are ignored or considered science fiction. We wanted to clarify what the distribution of opinions actually is, what probability the best experts currently assign to high–level machine intelligence coming up within a particular time–frame, which risks they see with that development, and how fast they see these developing. We thus (...) designed a brief questionnaire and distributed it to four groups of experts in 2012/2013. The median estimate of respondents was for a one in two chance that high-level machine intelligence will be developed around 2040-2050, rising to a nine in ten chance by 2075. Experts expect that systems will move on to superintelligence in less than 30 years thereafter. They estimate the chance is about one in three that this development turns out to be ‘bad’ or ‘extremely bad’ for humanity. (shrink)

There are conflicting intuitions concerning the status of a boundary separating two adjacent entities (or two parts of the same entity). The boundary cannot belong to both things, for adjacency excludes overlap; and it cannot belong to neither, for nothing lies between two adjacent things. Yet how can the dilemma be avoided without assigning the boundary to one thing or the other at random? Some philosophers regard this as a reductio of the very notion of a boundary, which should accordingly (...) be treated a mere façon de parler. In this paper I resist this temptation and examine some ways of taking the puzzle at face value within a realist perspective—treating boundaries as ontologically on a par with (albeit parasitic upon) extended parts. (shrink)

Many believe that the rational evaluation of actions depends on the rational evaluation of even basic desires. Hume, though, viewed desires as "original existences" which cannot be contrary to either truth or reason. Contemporary critics of Hume, including Norman, Brandt and Parfit, have sought a basis for the rational evaluation of desires that would deny some basic desires reason-giving force. I side with Hume against these modern critics. Hume's concept of rational evaluation is admittedly too narrow; even basic desires are, (...) despite their nonrepresentational nature, subject to rational evaluation. But this evaluation is not relevant to their tendency to generate reasons for action, and does not undermine the spirit of the Humean view of rational action. (shrink)

Are there any bona fide boundaries, i.e., boundaries that carve at the joints? Or is any boundary —hence any object—the result of a fiat articulation reflecting our cognitive biases and our so-cial practices and conventions? Does the choice between these two options amount to a choice between realism and wholesome relativism?

One of the attractions of the Humean instrumentalist theory of practical rationality is that it appears to offer a special connection between an agent's reasons and her motivation. The assumption that Humeanism is able to assert a strong connection between reason and motivation has been challenged, most notably by Christine Korsgaard. She argues that Humeanism is not special in the connection it allows to motivation. On the contrary, Humean theories of practical rationality do connect reasons and motivation in a unique (...) and attractive way, though the nature of this connection has sometimes been misunderstood by both defenders and detractors of the theory. (shrink)

In previous work I have argued that talk about negative events should not be taken at face value: typically, what we are inclined to think of as a negative event (John’s failure to go jogging) is just an ordinary, positive event (his going to the movie instead); it is a positive event under a negative description. Here I consider more closely the difficulties that arise in those cases where no positive event seems available to do the job, as with putative (...) cases of causation by omission. In particular, I elaborate on Helen Beebee’s idea that not all causal explanations are reports of causation. When we mention John’s failure to turn off the gas as an explanans of why there was an explosion, we do not say what caused the explosion. We do not mention any of the relevant causes. We just remark that one sort of event that was supposed to occur, and whose occurrence would have prevented the explosion, did not in fact occur. (shrink)

That parthood is a transitive relation is among the most basic principles of classical mereology. Alas, it is also very controversial. In a recent paper, Ingvar Johansson has put forward a novel diagnosis of the problem, along with a corresponding solution. The diagnosis is on the right track, I argue, but the solution is misleading. And once the pieces are properly put together, we end up with a reinforcement of the standard defense of transitivity on behalf of classical mereology.

These essays draw on work in the history and philosophy of science, the philosophy of mind and language, the development of concepts in children, conceptual..

This paper investigates the prospects of Rodney Brooks’ proposal for AI without representation. It turns out that the supposedly characteristic features of “new AI” (embodiment, situatedness, absence of reasoning, and absence of representation) are all present in conventional systems: “New AI” is just like old AI. Brooks proposal boils down to the architectural rejection of central control in intelligent agents—Which, however, turns out to be crucial. Some of more recent cognitive science suggests that we might do well to dispose of (...) the image of intelligent agents as central representation processors. If this paradigm shift is achieved, Brooks’ proposal for cognition without representation appears promising for full-blown intelligent agents—Though not for conscious agents. (shrink)

Cognitive agents, whether human or computer, that engage in natural-language discourse and that have beliefs about the beliefs of other cognitive agents must be able to represent objects the way they believe them to be and the way they believe others believe them to be. They must be able to represent other cognitive agents both as objects of beliefs and as agents of beliefs. They must be able to represent their own beliefs, and they must be able to represent beliefs (...) as objects of beliefs. These requirements raise questions about the number of tokens of the belief representation language needed to represent believers and propositions in their normal roles and in their roles as objects of beliefs. In this paper, we explicate the relations among nodes, mental tokens, concepts, actual objects, concepts in the belief spaces of an agent and the agent's model of other agents, concepts of other cognitive agents, and propositions. We extend, deepen, and clarify our theory of intensional knowledge representation for natural-language processing, as presented in previous papers and in light of objections raised by others. The essential claim is that tokens in a knowledge-representation system represent only intensions and not extensions. We are pursuing this investigation by building CASSIE, a computer model of a cognitive agent and, to the extent she works, a cognitive agent herself. CASSIE's mind is implemented in the SNePS knowledge-representation and reasoning system. (shrink)

Felix reaches up to catch a high line drive to left field and fires the ball off to Benji at home plate, who then tags the runner trying to score. For Felix to catch the ball and transfer it from his glove to his throwing hand, he needs to have a sense of where his hands are relative to one another and the rest of his body. This sort of information is subconsciously tracked in the body schema (or postural schema), (...) a representation of the current bodily posture that is updated on the basis of proprioceptive inputs. While the existence of the body schema in not in dispute, its origin is. After reviewing the competing proposals, I introduce the conceptual tools needed to move the debate forward and apply them to the question of the extent to which the body schema could be learned from perceptual input in utero. I argue that it could give rise to something recognizable as the body schema, though not quite rising to the level of the mature body schema. After considering the implications for further research on the origins of the body schema, I show how these results apply to other body representations, helping clarify the vexing question of the number, nature, and interactions among body representations in the brain. This theoretical work also promises to advance our understanding and treatment protocols for disorders affecting such body representations (e.g., anorexia nervosa). (shrink)

What sort of logic do we get if we adopt a supervaluational semantics for vagueness? As it turns out, the answer depends crucially on how the standard notion of validity as truth preservation is recasted. There are several ways of doing that within a supervaluational framework, the main alternative being between “global” construals (e.g., an argument is valid iff it preserves truth-under-all-precisifications) and “local” construals (an argument is valid iff, under all precisifications, it preserves truth). The former alternative is by (...) far more popular, but I argue in favor of the latter, for (i) it does not suffer from a number of serious objections, and (ii) it makes it possible to restore global validity as a defined notion. (shrink)

A look at the dynamical concept of space and space-generating processes to be found in Kant, J.F. Herbart and the mathematician Bernhard Riemann's philosophical writings.

Matthew Leisinger (2020) argues that previous interpretations of John Locke’s account of akrasia (or weakness of will) are mistaken and offers a new interpretation in their place. In this essay, we aim to recapitulate part of this debate, defend a previously articulated interpretation by responding to Leisinger’s criticisms of it, and explain why Leisinger’s own interpretation faces textual and philosophical problems that are serious enough to disqualify it as an accurate reconstruction of Locke’s views. In so doing, we aim to (...) shed further light on Locke’s views on the various ways in which humans are prone to err in their pursuit of happiness. (shrink)

Will future lethal autonomous weapon systems (LAWS), or ‘killer robots’, be a threat to humanity? The European Parliament has called for a moratorium or ban of LAWS; the ‘Contracting Parties to the Geneva Convention at the United Nations’ are presently discussing such a ban, which is supported by the great majority of writers and campaigners on the issue. However, the main arguments in favour of a ban are unsound. LAWS do not support extrajudicial killings, they do not take responsibility away (...) from humans; in fact they increase the abil-ity to hold humans accountable for war crimes. Using LAWS in war would probably reduce human suffering overall. Finally, the availability of LAWS would probably not increase the probability of war or other lethal conflict—especially as compared to extant remote-controlled weapons. The widespread fear of killer robots is unfounded: They are probably good news. (shrink)

In their correspondence in 1902 and 1903, after discussing the Russell paradox, Russell and Frege discussed the paradox of propositions considered informally in Appendix B of Russell’s Principles of Mathematics. It seems that the proposition, p, stating the logical product of the class w, namely, the class of all propositions stating the logical product of a class they are not in, is in w if and only if it is not. Frege believed that this paradox was avoided within his philosophy (...) due to his distinction between sense (Sinn) and reference (Bedeutung). However, I show that while the paradox as Russell formulates it is ill-formed with Frege’s extant logical system, if Frege’s system is expanded to contain the commitments of his philosophy of language, an analogue of this paradox is formulable. This and other concerns in Fregean intensional logic are discussed, and it is discovered that Frege’s logical system, even without its naive class theory embodied in its infamous Basic Law V, leads to inconsistencies when the theory of sense and reference is axiomatized therein. (shrink)

A plausible thought about vagueness is that it involves semantic incompleteness. To say that a predicate is vague is to say (at the very least) that its extension is incompletely specified. Where there is incomplete specification of extension there is indeterminacy, an indeterminacy between various ways in which the specification of the predicate might be completed or sharpened. In this paper we show that this idea is bound to founder by presenting an argument to the effect that there are vague (...) predicates which cannot be sharpened in such a way as to meet certain basic constraints (of penumbral connection and public accessibility) that must be imposed on the very notion of a sharpening. (shrink)

Berkeley, Hume, and Russell rejected the traditional analysis of substances in terms of qualities which are supported by an "unknowable substratum." To them the proper alternative seemed obvious. Eliminate the substratum in which qualities are alleged to inhere, leaving a bundle of coexisting qualities--a view that we may call the Bundle Theory or BT. But by rejecting only part of the traditional substratum theory instead of replacing it entirely, Bundle Theories perpetuate certain confusions which are found in the Substratum Doctrine. (...) I examine two major types of BT developed by Russell and by G. F. Stout with the intention of showing that (1) the seemingly innocuous concept of "a quality" employed by these versions cannot be used to state their theories coherently, and (2) the fatal problems that the BT encounters point to a more satisfactory and interesting alternative to both the Substratum Doctrine and the BT. This is a view that I call the Qualified Particulars Theory. In a final section I draw morals from this discussion that apply to the analogous Humean view that a mind is a "bundle of perceptions and sensations.". (shrink)

It is well known that the circumflex notation used by Russell and Whitehead to form complex function names in Principia Mathematica played a role in inspiring Alonzo Church's “lambda calculus” for functional logic developed in the 1920s and 1930s. Interestingly, earlier unpublished manuscripts written by Russell between 1903–1905—surely unknown to Church—contain a more extensive anticipation of the essential details of the lambda calculus. Russell also anticipated Schönfinkel's combinatory logic approach of treating multiargument functions as functions having other functions as value. (...) Russell’s work in this regard seems to have been largely inspired by Frege’s theory of functions and “value-ranges”. This system was discarded by Russell due to his abandonment of propositional functions as genuine entities as part of a new tack for solving Russell’s paradox. In this article, I explore the genesis and demise of Russell’s early anticipation of the lambda calculus. (shrink)

I argue that Universalism (the thesis that mereological composition is unrestricted) entails Extensionalism (the thesis that sameness of composition is sufficient for identity) as long as the parthood relation is transitive and satisfies the Weak Supplementation principle (to the effect that whenever a thing has a proper part, it has another part disjoint from the first).

Epistemic paternalism is the thesis that a paternalistic interference with an individual's inquiry is justified when it is likely to bring about an epistemic improvement in her. In this article I claim that in order to motivate epistemic paternalism we must first account for the value of epistemic improvements. I propose that the epistemic paternalist has two options: either epistemic improvements are valuable because they contribute to wellbeing, or they are epistemically valuable. I will argue that these options constitute the (...) foundations of a dilemma: either epistemic paternalism collapses into general paternalism, or a distinctive project of justified epistemic paternalism is implausible. (shrink)

An important source of doubt about our knowledge of the "external world" is the thought that all of our sensory experience could be delusive without our realizing it. Such wholesale questioning of the deliverances of all forms of perception seems to leave no resources for successfully justifying our belief in the existence of an objective world beyond our subjective experiences. I argue that there is there is a fatal flaw in the very expression of philosophical doubt about the "external world." (...) Therefore, no such justification is necessary. The feature of skepticism which I believe renders it vulnerable is the assumption that each of us has a right to be certain of his own existence as a subject of conscious experience even in the face of comprehensive doubt about our empirical beliefs. (shrink)

Most event-referring expressions are vague; it is utterly difficult, if not impossible, to specify the exact spatiotemporal location of an event from the words that we use to refer to it. We argue that in spite of certain prima facie obstacles, such vagueness can be given a purely semantic (broadly supervaluational) account.

Mereotopology is today regarded as a major tool for ontological analysis, and for many good reasons. There are, however, a number of open questions that call for an answer. Some are philosophical, others have direct applicative import, but all are crucial for a proper assessment of the strengths and limits of mereotopology. This paper is an attempt to put sum order in this area.

One logic or many? I say—many. Or rather, I say there is one logic for each way of specifying the class of all possible circumstances, or models, i.e., all ways of interpreting a given language. But because there is no unique way of doing this, I say there is no unique logic except in a relative sense. Indeed, given any two competing logical theories T1 and T2 (in the same language) one could always consider their common core, T, and settle (...) on that theory. So, given any language L, one could settle on the minimal logic T0 corresponding to the common core shared by all competitors. That would be a way of resisting relativism, as long as one is willing to redraw the bounds of logic accordingly. However, such a minimal theory T0 may be empty if the syntax of L contains no special ingredients the interpretation of which is independent of the specification of the relevant L-models. And generally—I argue—this is indeed the case. (shrink)

In his Meditations Descartes concludes that he is a res cogitans, an unextended entity whose essence is to be conscious. His reasoning in support of the conclusion that he exists entirely distinct from his body has seemed unconvincing to his critics. I attempt to show that the reasoning which he offers in support of his conclusion. although mistaken, is more plausible and his mistakes more interesting than his critics have acknowledged.

What is money? Paraphrasing Goodman, I say that’s the wrong question to ask. The right question is, When is money? And to get the answer, Searle’s general formula for social objects (X couns as Y in context C) is fine, as long as you give it a different reading.

Ci imbattiamo in un confine ogni volta che pensiamo a un’entità demarcata rispetto a ciò che la circonda. C’è un confine (una superficie) che delimita l’interno di una sfera dal suo esterno; c’è un confine (una frontiera) che separa il Maryland dalla Pennsylvania. Talvolta la collocazione esatta di un confine non è chiara o è in qualche modo controversa (come quando si cerchi di tracciare i limiti del monte Everest, o il confine del nostro corpo). Talaltra il confine non corrisponde (...) a una discontinuità fisica o a una differenziazione qualitativa (come nel caso dei confini del Wyoming, o della demarcazione tra la metà superiore e la metà inferiore di una sfera omogenea). Ma, che sia netto o confuso, naturale o artificiale, sembra esservi per ogni oggetto un confine che lo separa dal resto del mondo. Anche gli eventi hanno confini, quantomeno confini temporali. Le nostre vite sono delimitate dalle nostre nascite e morti; una partita di calcio comincia alle quindici in punto e termina col fischio finale dell’arbitro alle sedici e quarantacinque. E a volte si dice che anche le entità astratte, come i concetti o gli insiemi, hanno dei propri confini. Se tutto questo parlare di confini abbia davvero un senso, e se rifletta la struttura del mondo o solo l’attività organizzatrice del nostro intelletto, è però oggetto di profonda controversia filosofica. (shrink)

It is shown that a complete axiomatization of classical non-tautologies can be obtained by taking F (falsehood) as the sole axiom along with the two inference rules: (i) if A is a substitution instance of B, then A |– B; and (ii) if A is obtained from B by replacement of equivalent sentences, then A |– B (counting as equivalent the pairs {T, ~F}, {F, F&F}, {F, F&T}, {F, T&F}, {T, T&T}). Since the set of tautologies is also specifiable by (...) purely syntactic means, the resulting picture gives an improved syntactic account of classical sentential logic. The picture can then be completed by considering related systems that prove adequate to specify the set of contradictions, the set of non-contradictions, and the set of contingencies respectively. (shrink)

The world of entrepreneurship has historically been linked with taking risks and the potential for significant rewards. However, there persists a notable gender imbalance in the entrepreneurial landscape, wherein women entrepreneurs remain a minority. Women navigating the entrepreneurial path encounter distinct challenges, setting their experiences apart from their male counterparts. In Balayan, Batangas, despite strides towards gender equality, women entrepreneurs continue to face challenges in the entrepreneurial landscape. This qualitative study delves into the experiences of 10 successful female entrepreneurs who (...) met specific criteria. Accordingly, semi-structured interviews are conducted, exploring various aspects of participants' experiences and revealing their motivations, achievements, challenges, and strategies. Thematic analysis reveals the connection between familial, community-driven, and personal motivations that drive these entrepreneurs forward. Despite facing obstacles such as financial constraints and gender biases, they prioritize financial gains and personal growth. With resilience, innovation, and dedication, these women overcome challenges and achieve success, utilizing support networks and online marketing strategies to their advantage. Recommendations include empowering women in entrepreneurship, strengthening support networks, introducing tailored financial literacy programs, and advocating against gender biases. Implement skill development initiatives and provide specialized education in online marketing. Engage in policy advocacy, celebrate success stories, and continuously research challenges and successes. Foster collaborative partnerships between businesses, educational institutions, and communities, and advocate for increased funding opportunities for sustainable growth. This research emphasizes the strength and capabilities of women entrepreneurs in Balayan, Batangas, affirming that "pink doesn't mean weak.". (shrink)

Some environmental ethicists and economists argue that attributing infinite value to the environment is a good way to represent an absolute obligation to protect it. Others argue against modelling the value of the environment in this way: the assignment of infinite value leads to immense technical and philosophical difficulties that undermine the environmentalist project. First, there is a problem of discrimination: saving a large region of habitat is better than saving a small region; yet if both outcomes have infinite value, (...) then decision theory prescribes indifference. Second, there is a problem of swamping probabilities: an act with a small but positive probability of saving an endangered species appears to be on par with an act that has a high probability of achieving this outcome, since both have infinite expected value. Our paper shows that a relative concept of infinite value can be meaningfully defined, and provides a good model for securing the priority of the natural environment while avoiding the failures noted by sceptics about infinite value. Our claim is not that the relative infinity utility model gets every detail correct, but rather that it provides a rigorous philosophical framework for thinking about decisions affecting the environment. (shrink)

This chapter first surveys general issues in the epistemic internalism / externalism debate: what is the distinction, what motivates it, and what arguments can be given on both sides. -/- The second part of the chapter will examine the internalism / externalism debate as regards to the specific case of the epistemology of memory belief.

In ‘Something to Do with Vagueness ...’, Linda Burns defends an analogy between the informational and the borderline-case variety of vagueness. She argues that the latter is in fact less extraordinary and less disastrous than people in the tradition of Michael Dummett and Crispin Wright have told us. However, her account involves presuppositions that cannot be taken for granted. Here is to take a closer look at some of these presuppositions and argue hat they may--when left unguarded--undermine much of Burns’ (...) general account. (shrink)

In ‘Towards a Solution to the Sorites Paradox’, Graham Priest gives us a new account of the sorites based on fuzzy logic. The novelty lies in the suggestion that truth-value assignments should themselves be treated as fuzzy objects, i.e., objects about which we can make fuzzy identity statements. I argue that Priest’s solution does not have the explanatory force that Priest advocates. That is, it does not explain why we find the existence of a cut-off point counter-intuitive. I also argue (...) that this sort of explanation calls for a general theory that goes beyond the special case of linguistic vagueness, for the phenomenon is at bottom not linguistic. (shrink)

Cognition is commonly taken to be computational manipulation of representations. These representations are assumed to be digital, but it is not usually specified what that means and what relevance it has for the theory. I propose a specification for being a digital state in a digital system, especially a digital computational system. The specification shows that identification of digital states requires functional directedness, either for someone or for the system of which it is a part. In the case or digital (...) representations, to be a token of a representational type, where the function of the type is to represent. [An earlier version of this paper was discussed in the web-conference "Interdisciplines" https://web.archive.org/web/20100221125700/http://www.interdisciplines.org/adaptation/papers/7 ]. (shrink)

This article explores the meeting of two approaches towards philosophy and education: the philosophy for children approach advocated by Lipman and others, and Schmid’s philosophical concept of Lebenskunst. Schmid explores the concept of the beautiful or good life by asking what is necessary for each individual to be able to develop their own art of living and which aspects of life are significant when shaping a good and beautiful life. One element of Schmid’s theory is the practical application of philosophy (...) through the notions of Bildung, reflection, prudence and practical wisdom, as well as the requirement for each individual to take responsibility for actively shaping their life as an artwork. In this sense, each person is the artist responsible for living their own beautiful life. We argue that there are useful parallels between Schmid’s concept of the art of living and P4C, such as the ideal of a holistic philosophy that is “lived.” The pragmatic approach of P4C focuses on the embodied learner who practices critical, caring and creative thinking. Both P4C and Schmid’s theory are reminiscent of the Aristotelian notion of practical wisdom, which allows for an approach to an education for life that prepares students to develop their own art of living. (shrink)

The idea that we may continue to exist in a bodiless condition after our death has long played an important role in beliefs about immortality, ultimate rewards and punishments, the transmigration of souls, and the like. There has also been long and heated disagreement about whether the idea of disembodied existence even makes sense, let alone whether anybody can or does survive dissolution of his material form. It may seem doubtful that anything new could be added to the debate at (...) this late date, but I hope to show that this is not so. I will explore the problem of disembodiment from a somewhat different direction than has been tried before, one that leads to what seem to me more interesting and more definite conclusions about its unintelligibility. Furthermore, the approach I will be taking puts both the traditional mind-body problem and the competing claims of dualism and physicalism in a fresh light that can help us to understand better the nature of our embodied existence. (shrink)

My aim in this paper is to draw Plotinus and Derrida together in a comparison of their respective appropriations of the famous “receptacle” passage in Plato's Timaeus (specifically, Plotinus' discussion of intelligible matter in Enneads 2.4 and Derrida's essay on Timaeus entitled “Kh ō ra”). After setting the stage with a discussion of several instructive similarities between their general philosophical projects, I contend that Plotinus and Derrida take comparable approaches both to thinking the origin of the forms and to problematizing (...) the stability of the sensible/intelligible opposition. With these parallels in focus, I go on to explain how examining such points of contact can help us to dismantle the canonical constructs of “Plotinus the metaphysician” and “Derrida the anti-metaphysician” that have obscured important connections between Neoplatonism and deconstruction, and suppressed latent resources within the Platonic tradition itself for deconstructing the dualistic ontology of so-called “Platonic metaphysics.”. (shrink)

Religious belief and behavior raises the following two questions: (Q1) Does God, or any other being or state that is integral to various religious traditions, exist? (Q2) Why do humans have religious beliefs and engage in religious behavior? How one answers (Q2) can affect how reasonable individuals can be in accepting a particular answer to (Q1). My aim in this chapter is to carefully distinguish the various ways in which an answer to Q2 might affect the rationality of believing in (...) God. A literature has sprouted around this exact issue, but it has heretofore focused almost exclusively on one way in which a genealogy for p can affect the rationality of believing p – namely, by the genealogy functioning within a debunking argument. However, there are other ways a genealogy can affect the rationality of a belief. I suggest that we should be interested in whether genealogies more broadly cast doubt on religious beliefs. My main goal is: (i) to argue that CSR does not cast doubt on theistic belief in a few of the primary ways that propositions can cast doubt on other propositions, including via a debunking argument; and (ii) to suggest that one plausible way in which CSR might cast doubt on theistic belief is by undermining various traditional theistic reasons, and to illustrate how this might work with one example of a traditional theistic reason – religious experience. (shrink)

Are there any bona fide boundaries, i.e., boundaries that carve at the joints? Or is any boundary—hence any object—the result of a fiat articulation reflecting our cognitive biases and our social practices and conventions? Does the choice between these two options amount to a choice between realism and wholesome relativism?

This work gives an extended presentation of the treatment of variable-binding operators adumbrated in [3:1993d]. Illustrative examples include elementary languages with quantifiers and lambda-equipped categorial languages. Some remarks are also offered to illustrate the philosophical import of the resulting picture. Particularly, a certain conception of logic emerges from the account: the view that logics are true theories in the model-theoretic sense, i.e. the result of selecting a certain class of models as the only “admissible” interpretation structures (for a given language).

Daniel Dennett has offered a set of necessary and sufficient conditions for something's being the proper object of our moral commitment, that is, for something's being a person. Strict application of these largely pragmatic conditions, however, would result in a moral community with quite a surprising membership roster, because of both who is on it and who isn't. The problem is that "your" being a person should amount to more than a function of "my" goals and cleverness.

Suppose we get a chance to ask an angel a question of our choice. What should we ask to make the most of our unique opportunity? Ned Markosian has shown that the task is trickier than it might seem. Ted Sider has suggested playing safe and asking: What is the true proposition (or one of the true propositions) that would be most beneficial for us to be told? Let's see whether we can do any better than that.

The “Game of the Rule” is easy enough: I give you the beginning of a sequence of numbers (say) and you have to figure out how the sequence continues, to uncover the rule by means of which the sequence is generated. The game depends on two obvious constraints, namely (1) that the initial segment uniquely identify the sequence, and (2) that the sequence be non-random. As it turns out, neither constraint can fully be met, among other reasons because the relevant (...) notion of randomness is either vacuous or undecidable. This may not be a problem when we play for fun. It is, however, a serious problem when it comes to playing the game for real, i.e., when the player to issue the initial segment is not one of us but the world out there, the sequence consisting not of numbers (say) but of the events that make up our history. Moreover, when we play for fun we know exactly what initial segment to focus on, but when we play for real we don’t even know that. This is the core difficulty in the philosophy of the inductive sciences. (shrink)